1. .....................
Author: Engeler, Erwin
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Sequential machine theory,، Recursive functions,، Formal languages
Classification :
QA
267
.
5
.
S4
E53
2.
Author: [by] R. L. Goodstein
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Recursive functions
Classification :
QA
248
.
5
.
G6A5
3. A Compendium of Continuous Lattices
Author: by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Mathematics.
Classification :
QA171
.
5
B944
1980
4. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
5. A course in mathematical logic for mathematicians
Author: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
Classification :
511
,.
3
,.
M296
,
2010
6. A course in mathematical logic for mathematicians
Author: / Yu. I. Manin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M29613
2010
7. Advanced R
Author: Hadley Wickham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
Classification :
QA276
.
45
.
R3
H335
2019
8. Advances in Stochastic Modelling and Data Analysis
Author: edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Distribution (Probability theory),Mathematics.
Classification :
HB135
.
E358
1995
9. Algebraic Complexity Theory
Author: by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
10. Algebraic Structures and Operator Calculus :
Author: by Philip Feinsilver, René Schott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Functions, Special.,Information theory.
Classification :
QA351
.
B974
1996
11. Algorithmics of Nonuniformity :
Author: Micha Hofri, Hosam Hahmoud.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Computer algorithms.,Data structures (Computer science),Probabilities.,Combinatorial analysis.,Computer algorithms.,Data structures (Computer science),MATHEMATICS-- General.,Probabilities.
Classification :
QA164
12. An introduction to Ramsey theory :
Author: Matthew Katz, Jan Reimann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
Classification :
QA165
.
K38
2018
13. Applications of Fibonacci Numbers :
Author: edited by A.N. Philippou, A.F. Horadam, G.E. Bergum.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Mathematics.
Classification :
QA241
.
E358
1988
14. Bayesian Approach to Global Optimization :
Author: by Jonas Mockus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA402
.
5
B956
1989
15. Bayesian estimation and tracking :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic tracking-- Mathematics.,Bayesian statistical decision theory.,Estimation theory.,Mathematics.
Classification :
QA279
.
5
.
H38
2012
16. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
17. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
18. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
19. Computability in context :
Author: editors, S. Barry Cooper, Andrea Sorbi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
Classification :
QA9
.
59
.
C655
2011
20. Computability theory /
Author: Rebecca Weber
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
6
.
W43
2012
